$e$ c$\leq$ ${\it e'}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}causl(${\it es}$; $e$; ${\it e'}$) $\vee$ ($e$ = ${\it e'}$)